Journal of Beijing University of Posts and Telecommunications

  • EI核心期刊

JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM

• Papers • Previous Articles     Next Articles

Investigation on Interface Compatibility of SessionOri #br# ent EService

ZHANG Wen-tao,PENG Yong,CHEN Jun-liang   

  1. State Key Laboratory of Networking and Switching Technology, Beijing U
    niversity of Posts and Telecommunications, Beijing 100876, China
  • Received:2005-12-30 Revised:1900-01-01 Online:2006-05-30 Published:2006-05-30
  • Contact: ZHANG Wen-tao
  • Supported by:
     

Abstract: Formalism is proposed to model the behavior in
terface of sessionoriented EService, along with the interface compatibility
check upon this formalism to provide type system of service interaction as well
as designtime verification of service composition. The method adopts the optim
istic approach. An improvement is resulted to ensure both peers satisfy session
integrated (deadlock free), it requires each peer ends in final states or can
continue. The detailed algorithm of interface compatibility named is presented i
n the last.

Key words: interface compatibility, composition, sessionorient EService, finite states machine, Web service

CLC Number: